181. Cellular automata and discrete complex systems :
Author: Jarkko Kari, Martin Kutrib, Andreas Malcher (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Cellular automata, Congresses,Computer science-- Mathematics, Congresses,Software
Classification :
QA267
.
5
.
C45
182. Certified Programs and Proofs :
Author: edited by Chris Hawblitzel, Dale Miller.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science -- Mathematics -- Congresses.,Computer software -- Congresses.,Formal methods (Computer science) -- Verification -- Congresses.
Classification :
QA76
.
9
.
M35
E358
2012
183. Certified programs and proofs :
Author: Jean-Pierre Jouannaud, Zhong Shao (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics, Congresses
Classification :
QA76
.
9
.
M35
C37
2011eb
184. Coalgebraic methods in computer science
Author: Dirk Pattinson, Lutz Schröder (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics, Congresses,Computer software-- Mathematics, Congresses
Classification :
QA76
.
9
.
M35
W67
2012eb
185. Coalgebraic methods in computer science :
Author: Corina Cîrstea (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics, Congresses.,Computer software-- Mathematics, Congresses.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming-- software development.,Computer science-- Mathematics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Mathematical theory of computation.,Mathematics-- Logic.
Classification :
QA76
.
9
.
M35
186. Collegium Logicum.
Author: Kurt Gödel Society.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer software.,Mathematics.
187. Coloured Petri Nets :
Author: by Kurt Jensen.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer simulation.,Software engineering.
Classification :
QA267
.
B958
1992
188. Combinatorial Algorithms
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Mathematics. ; Data structures (Computer science). ; Application software. ; Computer communication systems. ; Computer graphics. ; Algorithms. ; Discrete Mathematics in Computer Science. ; -Computer science
189. Combinatorial Image Analysis :
Author: edited by Reinhard Klette, Joviša Žunić.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer software.,Electronic data processing.
190. Combinatorial algorithms :
Author: Costas S. Iliopoulos, William F. Smyth (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Combinatorial analysis-- Data processing, Congresses,Computational complexity, Congresses,Computer algorithms, Congresses
Classification :
QA164
.
I58
2011
191. Combinatorial optimization and applications :
Author: Donghyun Kim, R.N. Uma, Alexander Zelikovsky (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Combinatorial optimization-- Data processing, Congresses.,Computer science-- Mathematics, Congresses.,Mathematical optimization, Congresses.,Computational complexity.,Computer network architectures.,Computer science.,Computer software.,Electronic data processing.
Classification :
QA402
.
5
.
C5423
2017
192. Communication-Based Systems
Author: edited by Günter Hommel.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra.,Computer science.,Mathematics.,Software engineering.,Systems theory.
193. Computational Electromagnetic
Author: / by Thomas Rylander, Par Ingelstr?╢m, Anders Bondeson
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Mathematics,Computer science,Numerical analysis,Computer engineering,Electronic books
Classification :
E-BOOK
194. Computational Experiment Approach to Advanced Secondary Mathematics Curriculum
Author: / Sergei Abramovich
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
195. Computational Methods for General Sparse Matrices
Author: by Zahari Zlatev.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Electronic data processing.,Information theory.
Classification :
QA188
.
B993
1991
196. Computational fluid dynamics :
Author: Jiyuan Tu, Guan Heng Yeoh, Chaoqun Liu.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Fluid dynamics.,Heat-- Transmission.,Turbulence.,Chaleur-- Transmission-- Simulation par ordinateur.,Fluides, Dynamique des-- Simulation par ordinateur.,Turbulence-- Simulation par ordinateur.,Fluid dynamics.,Heat-- Transmission.,TECHNOLOGY & ENGINEERING-- Material Science.,Turbulence.
Classification :
TA357
.
T835
2008eb
197. Computational geometry, graphs and applications :
Author: Jin Akiyama [and others] (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational grids (Computer systems), Congresses,Data structures (Computer science), Congresses
Classification :
QA76
.
9
.
C58
C45
2011eb
198. Computational intelligence
Author: Rudolf Kruse ... [et al.]
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational intelligence
Classification :
Q342
.
C66
2013
199. Computational logic and set theory :
Author: Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Set theory
Classification :
QA248
.
S39
2011eb
200. Computational matter /
Author: Susan Stepney, Steen Rasmussen, Martyn Amos, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Electronic data processing.,Natural computation, Congresses.,Soft computing.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Electronic data processing.,Natural computation.,Soft computing.
Classification :
QA76
